1. Logic programming : formal methods and practical applications
پدیدآورنده : edited by Christoph Beierle, Lutz Plumer
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Logic programming
رده :
QA
76
.
63
.
L63294
1995
